Ames Research Center - PDFSEARCH.IO - Document Search Engine

Ames Research Center
Results: 1206

#	Item
131	Evolvable Evolvable Systems Systems for for Space Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:11:55 Field-programmable gate array Geography of California California San Francisco Bay Area Evolvable hardware Year of birth missing Mountain View California Ames Research Center University of California Santa Cruz
132	Program Monitoring with LTL in E AGLE Howard Barringer University of Manchester, England Allen Goldberg, Klaus Havelund Kestrel Technology, NASA Ames Research Center, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:43 Computing Linear temporal logic Temporal logic Eval Interpretation Structure Logical connective Futures and promises Model theory Logic Mathematical logic
133	NASA Ames Research Center Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-08-22 21:11:41 Moon Unmanned spacecraft Lunar Atmosphere and Dust Environment Explorer Modular Common Spacecraft Bus Ames Research Center Goddard Space Flight Center Laboratory for Atmospheric and Space Physics Lunar soil Minotaur Spaceflight Space technology Exploration of the Moon
134	Dr. Bruce Damer Principal Scientist DigitalSpace PO Box 830, Boulder Creek CA[removed]removed] CURRICULUM VITAE Add to Reading List Source URL: www.damer.com Language: English - Date: 2014-04-23 00:01:30 Geography of California California Science Mountain View California Research Institute for Advanced Computer Science Ames Research Center
135	Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing
136	A Visual Integrated Development Environment for Automated Planning Domain Models James C. Ong1 and Emilio Remolina2 Stottler Henke Associates, Inc., San Mateo, CA, 94402 David E. Smith3 NASA Ames Research Center, Moffet Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2013-08-18 18:57:41 Logic in computer science Fluent Logic programming Domain-specific language Knowledge representation Action language Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
137	A Scalable Nonuniform Pointer Analysis for Embedded Programs? Arnaud Venet NASA Ames Research Center / Kestrel Technology Moffett Field, CA 94035, USA [removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:18:05 Computing Software engineering Computability theory Formal methods Computer programming Symbol Pointer Models of computation
138	Detailed Program Monday 20 October[removed]:30 Registration & Coffee Add to Reading List Source URL: iaassconference2014.space-safety.org Language: English - Date: 2014-09-17 09:32:51 Space Shuttle program Space policy International Association for the Advancement of Space Safety International Space Station Spaceport Space Shuttle Columbia disaster Indian Space Research Organisation Space Shuttle Ames Research Center Spaceflight Manned spacecraft Human spaceflight
139	An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:55 Temporal logic Mathematics Computing Formal methods Linear temporal logic Model checking Runtime verification Java Pathfinder Deadlock Theoretical computer science Concurrency Logic in computer science
140	NASA/TM–[removed]The Effects of Life-Stress on Pilot Performance James A. Young Ames Research Center, Moffett Field, California Add to Reading List Source URL: human-factors.arc.nasa.gov Language: English - Date: 2009-08-24 17:07:38 Anxiety Mind Abnormal psychology Mood disorders Endocrine system NASA STI Program Major depressive disorder Psychological resilience Ames Research Center Stress Psychiatry Emotion

UPDATE